Integrity Dangers in Certification-Based Replication Protocols
نویسندگان
چکیده
Database replication protocols check read-write and/or write-write conflicts. If there are none, then protocols propagate transactions to the database, assuming they will eventually commit. But commitment may fail due to integrity constraints violations. Also, the read actions of integrity checking may give raise to new conflicts. Thus, some more care must be taken if, in addition to the consistency of transactions and replicas, also the consistency of integrity constraints is to be maintained. In this paper, we investigate how certification-based replication protocols can be adapted to correctly and transparently deal with the built-in integrity support provided by the underlying DBMS. Also, we experimentally demonstrate the negative effects that an incorrect management of integrity constraints may cause in a database replication
منابع مشابه
PolyCert: Polymorphic Self-optimizing Replication for In-Memory Transactional Grids
In-memory NoSQL transactional data grids are emerging as an attractive alternative to conventional relational distributed databases. In these platforms, replication plays a role of paramount importance, as it represents the key mechanism to ensure data durability. In this work we focus on Atomic Broadcast (AB) based certification replication schemes, which have recently emerged as much more sca...
متن کاملRevisiting Certification-Based Replicated Database Recovery
Certification-based database replication protocols are a good means for supporting transactions with the snapshot isolation level. Such kind of replication protocol does not demand readset propagation and allows the usage of a symmetric algorithm for terminating transactions, thus eliminating the need of a final voting phase. Recovery mechanisms especially adapted for certification-based replic...
متن کاملCertification-Based Database Replication Protocols under the Perspective of the I/O Automaton Model
Traditionally, correctness of database replication protocols has been justified in a rather informal way focusing only in safety properties and without using any rigorous formalism. Since a database replication protocol must ensure some degree of replica consistency and that transactions follow a given isolation level, previous proofs only focused in these two issues. This paper proposes a form...
متن کاملOn Supporting Integrity Constraints in Relational Database Replication Protocols
Current database replication protocols take care of read-write conflict evaluation. If there are no such conflicts, protocols sanction transactions to commit. Other conflicts may arise due to integrity violation. So, if, in addition to the consistency of transactions and replicas, also the consistency of integrity constraints is to be supported, some more care must be taken. Some classes of rep...
متن کاملOn Optimizing Certification-Based Database Recovery Supporting Amnesia
Certification-based database replication protocols are a good basis to develop replica recovery when they provide the snapshot isolation level. For such isolation level, no readset needs to be transferred between replicas nor checked in the certification phase. Additionally, these protocols need to maintain a historic list of writesets that is used for certifying the transactions that arrive to...
متن کامل